batman finally kills the joker